21. Learning and Coordination :
پدیدآورنده : by Steven H. Kim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Mechanical engineering.
رده :
QA76
.
87
B978
1994
22. Logic and Complexity
پدیدآورنده : by Richard Lassaigne, Michel Rougemont.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
23. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
24. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
25. Modelling Computing Systems :
پدیدآورنده : by Faron Moller, Georg Struth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.,Computational complexity.,Computer science.,Logic design.
رده :
QA76
.
63
26. Operations Research and Discrete Analysis
پدیدآورنده : by Alekseĭ D. Korshunov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.
27. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
28. Sustainable design of complex industrial and energy systems under uncertainty
پدیدآورنده :
کتابخانه: كتابخانه مركز ملی جهانی شدن (تهران)
موضوع :
